#
# Makefile for the linux kernel.
#

obj-$(CONFIG_X86_ES7000)	:= es7000plat.o
obj-$(CONFIG_X86_GENERICARCH)	:= es7000plat.o
